NameError: variable @font-family-monospace is undefined in /Users/haifeng/IT/01_Study/github_projects/js_framework/public/js/lib/bootstrap/3.0.0/css/code.less on line 9, column 16:
8 pre {
9   font-family: @font-family-monospace;
10 }

